منابع مشابه
System Level Verification at Philips
A new verification project has recently started at Philips Research. It concerns a verification of C-like concurrent programs used to specify functionality of hardware/software systems. The problem is to make the verification practical, in the sense that it must be mechanised, and applicable to thousands of lines of C-like code. We will present the goals of the project and some solutions we wan...
متن کاملNew Approaches in Philips ECG Database Management System Design
Electrocardiogram (ECG) databases play an important role in medical research, pharmaceutical research, medical education and health care. Due to growing demands in research, training, and health care, designing and managing such ECG databases has become a complex problem. This paper reports on the new design approach and the new application model of the Philips ECG Management System (EMS). The ...
متن کاملPerformance of Philips Audio Fingerprinting under Desynchronisation
We present a theoretical analysis of the Philips audio fingerprinting method under desynchronisation for correlated stationary Gaussian sources. We provide closed-form analytical upper bounds for the probability of bit error of the hash and verify these bounds on real audio signals.
متن کاملApproximating Change Sets at Philips Healthcare
A single development task such as solving a bug or implementing a new feature often involves changing a number of entities, also known together as a change set. Change sets can be approximated from the version control system. They are then used by the architects and developers to take important decisions. So change sets need to be approximated carefully. It is common to assume that two entities...
متن کاملdesigning a health system performance management model for iran
Introduction The performance management is very important in order to reach the outcomes and outcomes expected from public organizations as well as to meet the public and public stakeholders in the face of the costs of public resources, and on this basis, this research deals with the formulation of performance management patterns in health and health systems method of work: this study is practi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: NHRD Network Journal
سال: 2007
ISSN: 2631-4541,2631-455X
DOI: 10.1177/0974173920070212s